#!/bin/bash

#File = hole6.cnf
#Variables = 42
#Clauses = 133
#Status = UNSAT
#Thread = 64
#Jobs = 1024
#Average = 468.79100
#Count = 10

while read line
do

	if [[ "$line" =~ " = " ]]
	then
		VALUE=`echo $line | cut -d " " -f 3`
		echo -n $VALUE

		if ! [[ "$line" =~ "Count = " ]]
		then
			echo -n ","
		fi

	fi

	if [[ "$line" =~ "Average =" ]]
	then
		echo -n ",,"
	fi

	if [[ "$line" =~ "Count =" ]]
        then
                echo
        fi


done
